E $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$p$::Id $\times$ $\mathbb{N}\mid$ $\neg$($\uparrow$isnull(a($p$.1;$p$.2)))\}